Books by author Michael Kohlhase

Showing 1 – 6 out of 6 results

1. 

   KI 2006

   Christian Freksa, Michael Kohlhase, Kerstin Schill | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Mathematical Knowledge Management

   Michael Kohlhase | Springer, Berlin, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.81 €

   Buy
3. 

   OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

   Michael Kohlhase | Springer, Berlin, 2006

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Robust Argumentation Machines

   Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   133.77 €

   Sale 7 %

   You save 11.12 €

   Buy
5. 

   Intelligent Computer Mathematics

   Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Toma | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   43.37 €

   Sale 7 %

   You save 3.69 €

   Buy
6. 
   Pre-order

   Symbolic Computation and Automated Reasoning

   Manfred Kerber, Michael Kohlhase | Taylor & Francis Inc, 2001

   
   

   Reprint - Date unknown

   Language: English

   Binding: Hardback

   132.55 €

   Sale 0 %

   You save 0.02 €

   Pre-order

We inform you about all changes of your order. Find out more